Stroj stavov s literálmi šablón v jazyku TypeScript: Validácia stavov v čase kompilácie | MLOG | MLOG